#include handler_library.c
/*HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH
 H
 H   handler_library.h
 H   Application name:
 H   Programmer name: Deepa Sahni
 H   Date completed: 05/15/11
 H   Brief Description: Operations in this library can be accessed only in Kernel mode.
 H
 HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHH*/

/*##################################################################################################
 # Defines
 ##################################################################################################*/


/*+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 +	Handler Library
 +
 +
 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*/

// Operations

//The handler called by the CPU when the timer generates an interrupt request.
void timer_int_handler();

//The handler called by the CPU when an IO device completes an action and is requesting service.
void io_int_handler();

//The handler called by the CPU when the currently running process requests and IO operation.
//Called by the io_system_call().device_type tell you which device the io request is being made.
//For eg 'v' is for video_io

void io_req_trap_handler(char device_type);

//The handler called by the CPU when sem_down_system_call() is called by the user.
void semaphor_down_trap_handler();

//The handler called by the CPU when sem_down_system_call() is called by the user.
void semaphor_up_trap_handler();

//The handler called by the CPU when mem_write_system_call() is called by the user.
void memory_write_trap_handler();

//The handler called by the CPU when mem_read_system_call() is called by the user.
void memory_read_trap_handler();
